(0 15 12)(1 16 2)(3 10 7)(4 14 6)(5 17 8)(9 13 11)
ALLOWS (11/8)-SEQUENCE
1: (5 8 17)
(0 15 12)(1 16 2)(3 10 7)(4 14 6)(5 8 17)(9 13 11)
2: (4 14 6)
(0 15 12)(1 16 2)(3 10 7)(4)(5 8 17)(6)(9 13 11)(14)
3: (5 8 17)
(0 15 12)(1 16 2)(3 10 7)(4)(5)(6)(8)(9 13 11)(14)(17)
4: (0 15 12)
(0)(1 16 2)(3 10 7)(4)(5)(6)(8)(9 13 11)(12)(14)(15)(17)